SECTION code_fp_mbf32
PUBLIC ___mbf32_FPMULT
EXTERN FPMULT
defc ___mbf32_FPMULT = FPMULT
